def migrate(cr, version):
    """
    将 crm.lead 模型中的 eau 字段从 Char 转换为 Integer。
    如果字段值无法转换为数字，则设置为 1。
    """
    # 更新字段类型
    cr.execute("""
        ALTER TABLE crm_lead
        ALTER COLUMN eau TYPE INTEGER USING (
            CASE 
                WHEN eau ~ '^[0-9]+$' THEN eau::INTEGER
                ELSE 1
            END
        );
    """)
